Flush writable pagetable state whenever a domain is
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 15 Oct 2005 16:19:43 +0000 (17:19 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 15 Oct 2005 16:19:43 +0000 (17:19 +0100)
commited80a0a187509cbeb38d50685dca361d2c3face3
tree0d9fc685ba03ce97c9a8da636365c8ae922403eb
parent70a2469320fd8ab2a91aac0357a93be143ece2c3
Flush writable pagetable state whenever a domain is
synchronously paused (by Xen or by domain0), or when
it shuts down.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c
xen/common/domain.c
xen/include/asm-x86/mm.h